Fixed sorting of 'p1233.10' versus 'p1233.2'