Educating the public library user