Minor adjustment to use postfix notation.