Minor omission in commit 8f4695c.