Antiguamente se llamaba Castrillo de la Peña.