changed formalities for better formatting