[spec] Fix a require package name.