take out unramified

unnecessary
cosmetic changes