Fix incorrect argument ordering in error message, which provokes a
printf-related TypeError.