fix issue in brick-dev semantic checking