minor type corrections