A few small documentation and error fixes