More type corrections