correct print syntax