Added missing specification