Nevermind, covered in issue #2899.