fix CodeQL error (#288)