Remove weirdness from POPL 21
SYAC 10/02/14 14:30