cosmetics
minor fix