fix a stupid bug that I integrated