more output in bug539