Proper markup of source encoding