Minor fixes.
Minor fixes