More casting

these should not be tokens