Actually fix #38