minor type edits