Fix display of current theory

Fixes #2