Some type checking