Various fixes for implied characteristic export