Fixed name in a specifications document