Blargh. Well, we should at least be consistent and use double hyphen here as below. Feels dirty, though.