Spurious spaces in .aux