Compilation replies on comments by FunFan