found and fixed a small bug that did not affect anything...

Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>