Fix code seemingly having been scrambled.