A bit more index-file reading