Alignment fix (and restart Travis CI jobs)