hi, just double-checking, the hotfix is a configuration change to set the NODE_ID (server.NodeID). theres no code change/new docker images on top of the 0.8.5 I got yesterday?