Update to v1.5.2

This corrects another bug I discovered recently.