Minor edits to +verify