No sauce (fixes #766)