reformatted according to IDEA style