Rectified a few pending specs