bugfix for doc 1.4