Documentation
Fix for #836