Yes, that's supposed to be empty. Would it be a good idea to put a comment there?