Reformatted with PyDev autoformat.