I don't know which is more appropriate. Feel free to fix this w/o my attribution.