little fix for coding styles