minor fixes, fix style, improve async tasks for students