Minor clarification in the documentation regarding JSON as default