Little fix in the docs format