fix mission topic bug, clearer naming

Fixes the bug described in #837.
Thanks @benzeng.