* Fixed no-configuration mode
* Improved pretty-printing of floats
* Fixed typo in HTML manual