Small fix in the code