Slight fix in comment