See comments below