Minor bug in the code