add a couple of missing consts