Commented a Name Analysis message because it fails through a bug that may not be in our code(?)