Fixing randomly noticed formatting error