minor changes

Signed-off-by: Davide Parisi <davideparisi@gmail.com>