Implemented #238.