small styling fixes #829