some minor type tweaks