inserted pdf instead of png, for prettier graphics