error::info_name() bug fix.