nasty kludge to keep travis happy