A tiny comment to help understand why such feature was put there.