Make msftidy happy