a bit of doc and a simplification