Rename file for consistency

Authored by dfaure on Jul 10 2017, 2:48 PM.