Update documentation for 0.5.3.