Correct documentation problems