I'm still confused about why this is needed here, and what it implies for the source code.