Further specification changes.