fix for coding style