#read_to_character doesn't check that the file is open so neither does this method. If you add the check in read_to_character then this will be taken care of as well.