small corrections in doku