On gaming in education in higher education