small fix in printing manual test