Fix an issue introduced in commit a210eb5c.