Correct removal of duplicate definition