small formatting issues corrected