Tiny comment fixes