Updated the distelli-spec and the README