bug corrections in doc