Documentation bugfix: Add missing symbol mark

A one character documentation edit.