small bugfix in const.go