Can't Read HDHomeRun Local HD Channel List

[king.dop...@gmail.com]

The HDHomeRun HDHR-4-2US serves local OTA HD channels via DLNA. However, MediaHouse can't read the channel list from the HDHomeRun, because the channels have a decimal point (3.1) and MediaHouse expects the channel number to be an int. This does work in other DLNA clients though. I there a possible workaround for this, or can it be easily be fixed in the next version?