Maybe fix compiler error (again)