fixed the checking of profiling options.