resolving a minor bug