More type assertation things