Small fix for something I spotted