tiny fix for broken build