maybe the bug is fixed...