am 81631c6b: Merge "Little fix for headers comparison tool"

* commit '81631c6b3c5ce8c25c216b65014d74b79e0d643e':
  Little fix for headers comparison tool