Yes, you're right. Should use them here as well.