Small bug in get_current_font()