Actually fix #10