good spot! you can report this on github btw.