R# 7.1 compilation fix