Point taken care of in #292.