specification fixes