GreenSubmarine: fix typo