check_is_docked(): fix reading of dock_info_file.