Tweaks following release of Poly/ML 5.5.1.