Reminder: fix optimisation problem rendering.