added fix to theory assignment