Ouch. Now I see that I've unintentionally removed isset() on the line below. Will update asap. Sorry a about that.