update mutex header synopsis