Minor corrections to previous commit