Very small change to some comments