Spacing, add GPL block to encoding.py