Minor bug fixup

Reported-by: Alberto Garcia Fernandez <agfernan@inf.uc3m.es>