Add some forgotten specs