Fix typos in spec.jl, partially addresses #18