Actually fix the type error