Even more type-checking nonsense.