The managers changed the library hours.