fixed bug #3094
minor style change