fix postfix syntax