Fix a silly bug with the definition of the semantics of inhibitors.
Add a short note about the Web interface.