minor changes: unimportant

Really not important.