bugfix

minor bugfix and formatting