Pushing a fix.
Minor fixes.