Bugfix in TcValidity