Minor update to previous commit, docfix.