fix dumb mistake in 093fba97d93781f9bd9caef8fcb2028cc38dd34f