redo comments using HeaderDoc; still unable to fix bug