#544: fixing simpledplesolver