@jmclaus Why is this necessary? Please add a comment.