Fix typo, but really intended as dummy commit to avoid runnig profiling by default on master