Address warning in spec