Feeding the filament over the top of the printer meant that the lid could never be put back on. We made spacers from a file we found on Thingiverse. Problem solved.
These spacers seem to be used mainly by people who want to prevent a build-up of heat inside the printer.