Tiny comment corrections