correct a little mistake in the code

(I never distributed this mistake, it was just me who added the wrong
code for github.