Make the "player size" field optional (see #5451)