Code

write_mongodb plugin: Fix a format-string error.