improved printing of proplist