Minor tweak to paper