Compilation: added compilation-error face.