Tweak to add space after cnoid, for better display of markdown