Tiny comment fix