Fixing some errors pointed out in the meeting