this seems unnecessary. Why do we need this here?