Release 0.5.2; only for updating PyPI record.