Comment by abjorn

Is that such a bad thing? Slightly redundant, but that seems more aesthetic than anything.