added a missing font lock face to my theme