We now add an extra dummy argument to fix #ceylon/ceylon.language#503