Small updates in thesis text