Fix inconsistency between class name and file name