Fix #10: implicit cast in shader.