Whoops. Actually fix #6