some minor fixes to height file reading