You do this already in #257.