work around a JSON bug (modifying travis)