minor fix for formatting