Use documented file-name-nondirectory function

The undocumented file-name-base was being used.