Bux fix after tactor renaming