EDIT: Line added for debugging purposes