Travis/non-regression: minor fix