fixes in theory file