Fix utils.jl bug; add EXAMPLES