Adding mutex information