bugfix, no correctness improvment noted