fixing build errors in documentation, fixes #73