Minor edits to small stuff