Two small changes

Two trivial edits, just stuff I noticed as I was poking around.