Fix a bug in r272297 which prevented dumpdev from setting.
!u is not equivalent to (u != 0).