Make pedant green again