version 1.1.3: Improved xml comments