I can fix this upstream, but I'm not sure who, if anybody, is maintaing Boa these days. Anybody know anything?