At this point they are redundant but should be safe. Thanks to Sebastian Krahmer for the first check.