Bugfixes to Godels T definitions