Fixed a bug where the wrong strings were being used in the solution banner, see #30.