Small documentation improvements.