Minor fixes in writing