There's at least one other way to do it - single-click on the file, press enter, then type the new name.