Actually fix #72