Fix a bug in the helper docs