Documentation update

+ small bug fix to makeProtocolDocumentation