Actually fix #88