renamed leptoken to ctoken