diff --git a/src/sys/driver.c b/src/sys/driver.c
index 1976467b..85628e31 100644
--- a/src/sys/driver.c
+++ b/src/sys/driver.c
@@ -115,13 +115,14 @@ NTSTATUS DriverEntry(
     FspFastIoDispatch.ReleaseForModWrite = FspReleaseForModWrite;
     FspFastIoDispatch.AcquireForCcFlush = FspAcquireForCcFlush;
     FspFastIoDispatch.ReleaseForCcFlush = FspReleaseForCcFlush;
-#pragma prefast(suppress:28175, "We are a filesystem: ok to touch FastIoDispatch")
+#pragma prefast(suppress:28175, "We are a filesystem: ok to access FastIoDispatch")
     DriverObject->FastIoDispatch = &FspFastIoDispatch;
 
     /* register our device objects as file systems */
     IoRegisterFileSystem(FspFsctlDiskDeviceObject);
     IoRegisterFileSystem(FspFsctlNetDeviceObject);
 
+#pragma prefast(suppress:28175, "We are in DriverEntry: ok to access DriverName")
     FSP_LEAVE("DriverName=\"%wZ\", RegistryPath=\"%wZ\"",
         &DriverObject->DriverName, RegistryPath);
 }
@@ -142,6 +143,7 @@ VOID FspUnload(
         FspFsctlNetDeviceObject = 0;
     }
 
+#pragma prefast(suppress:28175, "We are in DriverUnload: ok to access DriverName")
     FSP_LEAVE_VOID("DriverName=\"%wZ\"",
         &DriverObject->DriverName);
 }
diff --git a/src/sys/driver.h b/src/sys/driver.h
index 0058c95d..133fe496 100644
--- a/src/sys/driver.h
+++ b/src/sys/driver.h
@@ -182,7 +182,7 @@ _Dispatch_type_(IRP_MJ_SET_VOLUME_INFORMATION) FSP_DRIVER_DISPATCH FspSetVolumeI
 _Dispatch_type_(IRP_MJ_SHUTDOWN)        FSP_DRIVER_DISPATCH FspShutdown;
 _Dispatch_type_(IRP_MJ_WRITE)           FSP_DRIVER_DISPATCH FspWrite;
 
-/* I/O completion functions */
+/* I/O process functions */
 _IRQL_requires_max_(APC_LEVEL)
 _IRQL_requires_same_
 typedef VOID FSP_IOPROC_DISPATCH(