minor update to formats (ieNotDefined, etc.)