Issue #154: typo in the Theme definition