Correcting documentation bug