Fix a mistake in ceb6c5ee410aa71bf573168ef497139004ddbeea (brought in more code than necessary)

Signed-off-by: emanuele <emanuele45@gmail.com>
Merge pull request #1712 from emanuele45/fix

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