Oh, that’s definitely an error! Thanks for bringing that to my attention :) I’ll put a patch up later !
