diff --git a/src/db/dbCAC.h b/src/db/dbCAC.h
index 915a7a0e2..546cf2258 100644
--- a/src/db/dbCAC.h
+++ b/src/db/dbCAC.h
@@ -188,4 +188,4 @@ inline dbAutoScanLock :: ~dbAutoScanLock ()
 inline dbAutoScanLockCA::dbAutoScanLockCA ( dbChannelIO &chan ) :
     dbAutoScanLock ( *chan.addr.precord )
 {
-}
\ No newline at end of file
+}
diff --git a/src/db/dbEvent.c b/src/db/dbEvent.c
index 0a3b6bcab..3ef38b069 100644
--- a/src/db/dbEvent.c
+++ b/src/db/dbEvent.c
@@ -221,7 +221,9 @@ int epicsShareAPI dbel (const char *pname, unsigned level)
 
         if (level>3) {
             printf (" ev %p ev que %p ev user %p\n", 
-                pevent, pevent->ev_que, pevent->ev_que->evUser);
+                static_cast < void * > ( pevent ), 
+                static_cast < void * > ( pevent->ev_que ), 
+                static_cast < void * > ( pevent->ev_que->evUser ) );
         }
 
 	    printf("\n");