Correct minor bug for size of pseudo