[mapnet14] minor pedantry