Fix #557

Code seemed to be from before the switch to the new string
representation.