Small fix to an earlier commit