fix minor bug that causes warnings