verifer: Fix unexpected output