Bug: initialization of a local variable