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