minor and style changes