fix coding standards; see #666