Style change as requested by @raggi