that seems fine to me.