some minor fixes to finalize the paper