(gud-sentinel): Revert indavertant change.