Compilation: removed compilatino-error face. I think, it was added by mistake.