Docu update again (github, what are you doing?)