FIX: removed spurious files.