Updated validate.jl