This is correctly handled.