use more explicit encoding