some cosmetics

Well. I felt bad to PR a oneliner, so here are two small, unrelated changes.