Solves issue #758
Merge pull request #759 from wdwvt1/tiny_doc_fix

Solves issue #758 -- a truly monumental commit