fix crash that can occur, if ui_fontsize pref holds an old String value
release