Bug fixes for user-defined file types