Probably too specific. Thanks. Clarified in 55f56af.