fixes pretty print stupidity.