style corrections from codeq.io