values are now properly typed