Fix bug introduced in commit 0f01b8f