Unnecessary command were accidentally left at the bottom of negate.mod