subtle bugfix in read_pdb_info