Yet unfinished, tiny documentation update