Bugfix: solver not displaying correctly