Minor fixes.

Minor fixes