minor modification

Signed-off-by: Marc Oggier <marc.oggier@gmail.com>