JANITORIAL: formating code