Little bugfix on Documentation