This is easy to handle after #168.
This is easy to handle after #168.