Fix bug introduced in commit 08c8456a0728522b347e936f66b98676a890cd09