Fixed solver trace bug, fixes #46