Changing the template in core_if and removing some io:format