Removed stringization.