Documentation, last fixes