minor fixes to paper