Little document improvements.