Renamed the specification source text