Minor fixes in an old post