buffered reader does the wrong thing