Fix typo in boost::mutex usage