Fix output of 'iaj'. Should make #1228 happy