Last fix brought out a bug in the show_spec.