I think this annotation is redundant here, the one we have above is enough