Minor syntax tweaks.

Minor syntax tweaks.