Updated specs that had fallen behind