Fix documentation buglet