fixing some documentation problems