Reverted a mistake in the naming of specific files

We reverted the name change.

[Branch: dev1.2.5]