Fix a bug introduced by commit commit 71eebef.