this is dead code now as the argument cannot be null anymore