Some spec fixes (filename mixup)