Ah, I missed that. It wasn't that visible. I will fix it in the next commit.