check solution to issue 3994