Fix bug 3268, some displayed bounds in solution were wrong