Expressltexx: Correct partition sizes