Found it. This will be fixed by #1817