Small fix for the commit below