added explicit source encoding