Minor bugfix from meeting today