Fixed issue where all lecture halls were shown twice.