QuickSpec: remove unused method