IDE: minor styling fixes