Nicola: new detailed instructions and minor fixes.