Fix bug which prevented 12pt option taking effect.