Correct mistake with double definition