fix a but that passes tests on my computer but not on Travis. Strange.