hulk: change option names