fix in the 5th lecture (thanks to Andrey M)