Updates after vector spaces lecture