Bugfix. Could lead to wrong behavior, but does't affect test vectors.