Merge pull request #676 from sbutcher-arm/config-fix

Fix multiple erroneously named source files in comments