Minor detail fixed