Issue #45: views were renamed