Fixed naming of toplevel method with mangled name (only the class name needs to be mangled)
Fixed naming of toplevel method with mangled name (only the class name needs to be mangled)

gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon