Small fix for e4c9f0b.