Update documentation for 0.12c