Should we comment this (these?) lines to explain what they are?