Pkg.hasHeader => Pkg.hasBraces