Minor fixups to antihack, including the removal of an unnecessary timer stop.