Correct spec for nosub.error.  Fixes #1142.