see if this fixes travis #2