Correct funny typo. Note to self: don't code after 20h shift. Or: at least
refrain from using any cout/printf at least, so nobody will notice... :)