DifferenceEngine minor fixes