Added a supplementary spec.