Minor changes to office hours