Quick fix regarding performances (ref #912)