minor fix to circumvent the double error