Minor file naming fix