minor bugfix: string formatting bug