I fixed that in another PR. Sorry about that... completely missed it :(