avoid double printout!