I'm also getting confused. That decorator is for doc tests, you can ignore these comments. You've done the correct thing.