sage-dev: fix typo