Doc bug

Signed-off-by: Ramón Ramos <arathael@gmail.com>