dotnetcheck added and overlay correction (again)