Fix some bad mksexp()s