Fix double ;