Editor file name broken by putting dots for long names. Fix #21