Fix document typo

This one was making syntax highlighting fail.