Fixing trivial bug in the previous commit