Oh well, no way to delete my comment now.