Fixed a minor bug in the code