Adding hax to work around Vera++ bug