Document update (operational manual)
Empty token should not be converted to string
Operational manual is updated