fix an tiny issue