This is a decorator in python which I understand