compilation.rst: wrong "note" syntax