Fix error in previous commit (d87162bebd).