Seems correct to me.