Be explicit about the size of \Fhartsel.

This is instead of using language that would allow this implementation,
but might be confusing about other implementations.