type corrections