log: double mutex is a bit too much anyway :-)