This simple change makes things compilable again. Phew.