Fixing warnings/errors

There are some reference errors in the spec.