typo fixed in maybe-positive function