I'm not sure about the best place, since the text says "the default value if". Done by 55286a5.