Fixed by 955505f6ff1c8bba7eb142200d3bd065eb4d2297. The commit has been nominated for inclusion in the next stable release. Closing.