Minor fiddling with paper writing style