Fix PVector.mult() example

Fixed #403.