previous commit was actual change of posted office hours; the commit
message was wrong