Indeed that seems to be that case. I thought I actually checked this, but apparently not. I will remove it.