slight style improvement