The other day a comment of mine had three helpful votes. These have not been credited on my profile. There was at least one other occurrence a month or two ago where one vote was not credited. Is this a stack bug or are helpful votes only selectively credited?