minor corrections to the previous commit