Fixes #5702: Smaller 'display deprecated' versio