restore these two pages, since #1139 has been fixed