minor type tweak