yup, you're right. this is fine