Updated documentation

Plus a bug fix in libmx when using stringstream in disp(), see