you're right. it is a redundant check btw