style fix

thanks for merging!