Minor edit.  Replaced "if x true else false" with "x"