Minor fixes: typos, spacing,...