Little formatting fix to the documentation