Fix wrong tip.

Authored by afarid on Feb 18 2019, 2:32 PM.