Small tweak to the IF, non-semantic.