Minor fix: requiring a file with a changed name