Actually update documentation to 0.5.3.