Constant: fix wrong include