Hotfix/fix typo

Any idea regarding the broken spec?

/cc @tienle and Van