Yes, these were fixed by #2878.