trying to find the mysterious Travis bug...