Maybe we should put stuff like that in separate headers somewhere.