Fix indentation.
Implement simple element predecessor lookup.