Make non-zero check explicit