JSON format fix
JSON format fix, compatibility with GHC 7.4