Give spec correct title.

fixes #5614