minor type edit