Fixed a compilation bug
Updated the documentation