Emergency fix: "Board could not be detected correctly!" error message now vanishes correctly if it could be detected correctly!