(very) minor improvement for mission name