CR fixes from 003add2e9bf53a65ebfa5ebbfe180303b09373cc