improved some idiotic formatting by Agrawal