build fix; 0.7.3