Thanks for the bug report. Should now be fixed by [check-in a818ba2ed635b91e][1]. [1]: src:/info/a818ba2ed635b91e