small but very useful addition