small bugfix; not sure how this slipped by in-browser testing.