bugfix for doc