update to 0.5.3, plus other small changes