bugfix: wrong formatting