This has been addressed in #1926 :-)