Bug fix, thanks to Lambros Petrou, in the printing