Fixed a trivial bug, that consumed too much time. Grrr.