Fix #545 doc problem