Documentation small fix