Minor spelling bug in quantifiedEL