Fixing bug in documentation, coding style