Handled in #115.