Fix #609, make API date-printing work on 5.2.