This commit fixes a minor mistake from the previous commit
Signed-off-by: Ivo Calado <txithihausen@gmail.com>