Minor documentation improvments.