minor type errors