Local changes in comments by Burke.