Fix #1968: Template parameters broken in J! 3.2