Debug of recent change

Sorry.