Cleaned out stray unicode dash character in references; other minor changes in JSONifyer