fixes a minor bug