minor bugfix and format change