Removing extensions when they should be filenames

This looks like an ancestral appendix from when primary extension was defined separately.