Be explicit about r7 prop. source code