Fix nasty bug with JuMPDict printing