Fix compiletest. I have no idea how this happened. Reverts part of dcd0d45e.