more explicit casts