Minor modification to previous commit