bugfixes for MarsHighResRangeFinder

Even if this one should be deprecated, we can still fix it...