Fix sorting on Python 3.3 (for real)