Fix bug found by Jean-Damien Durand: t+