small amendment to previous commit