reduce a dot, thanks Ivo