Fix sync_master_lab_course

Of course the merge with upstream will cause this.