semantic fixes.

What's with the blank line?