Using ''/3 instead of ''/2 due to recent changes in init.pl