Devel

Fix JSON format typo created by deletion of extra log variables in previous commit. Log download in JSON is now valid again.