Fix a mistake in ceb6c5ee410aa71bf573168ef497139004ddbeea (brought in mo...

...re code than necessary)

Signed-off-by: emanuele <emanuele45@gmail.com>