Fix test failure in BasicCircuitTests from previous commit 0d2fd0d9