fixed both multiply-defined labels