Fixed a more or less theoretical bug.