Fix possibly non-existent bug?