double-dot is not a valid token.