Did operating hours change once the Library building reopened?