minor bug fix in PSA128