Mach only backs off enough for the switch to deactivate, if yours is not doing that then either it is a bouncy switch or you have noise issues. Increasing the debounce interval On General Config page will help to determine if that is the problem but it is masking the issue rather than curing it.
Hood