Fix infspec