reformatted according to PCL coding style