Revision: It turns out that office hours are allowed to conflict