Hmm, I don't really care about that. If you want, you can remove them. Side-effects methods like `close()` should definitely keep them, I agree.