Whitespace
Remove duplicate ;