fixed traces for DoorControl in reqsII