It only occurs 3 times here, I don't think it's worth optimising.