Minor fixes in output