Minor docu fix