Minor fixes to paper