See similar comment in #394.