Fix issue #706 and remove potential innuendo.

Fixes issue #706 by avoiding a repetition.

I don't want to sound prude, but I don't think that a sexual innuendo fits the tone that developer documentation should have.