Fixed error spotted by @dwhly.