[#873] Some small styling fixes