Just another minor commenting change.