Add missing character from copy/paste into docs