A (small) bug with the font menu ?