I've just fixed that (962a5d0527383c98aa19753b9711b43c6a7e1ae8) directly onto `master`.