now the bug is really fixed