type translation bug fixes