Minor documentation corrections before release 0.5.0