Ooh, handy; thanks. Addressed in 21f52521744b9c7ae6f6f7e231a342e9c5146207.