🔧 Fix up a few more effc++ items#858

nlohmann merged 1 commit intonlohmann:developnlohmann/json:developfrom

mattismyname:developmattismyname/json:developCopy head branch name to clipboard