Filename correction in theory.html