Issue #488: file extension will be changed when close and changed back when open.