Forgotten commit
Merge pull request #7073 from mwerezak/cat

Small adjustment to #7054