Oh bother. Reverting changes that I put in by mistake while trying to debug my own code. Sorry.