Fix pushed as 8e473eec20791bbf6ce32c868cd4fe951d51c39c , thanks!
Please don't close a ticket before the actual fix has been pushed to the repo to
avoid chaos. :)