Doc slightly updated.