slight improvement of docs (not good yet though)