pointed out minor bug