Satistfy MarkusH
Fix formatting