Small cleanups in jp2box.py