fixed #280; deadman switch