minor formatting adjustments and a correction in getName()