Fix for #1432: parameter refining void method