fix #28 with correct encoding name