Reformatted according to new coding style