JANITORIAL: formatting code