Tiny comment fix.