Fix/documentation xml encoding

Added missing documentation of latest change.