Tiny simplification

Signed-off-by: emanuele <emanuele45@gmail.com>