Several documentation improvements.