Minor alterations: minor fixes.