Fix

Per comment on 1ba3931383ddcdae4eb217f39d412fc071d27358