I also thought about it, I guess you are right. Fixed in #609.