fix screwup with 5285d2 and 930fce