Fix formatting for type aliasing