corrected a comment: encoding IS used