encoding/json assumes these names by default