gitbook documentation fix

Álvaro López Garcíarequested to merge
devel into master

Created by: jorge-lip

Merge request reports