Removed unused specification