fix a bug that eclipse didn't flag for some reason