minor style change and file name change