minor bug fix (formatting)