Solving logging bugs