removing a double ;