Finished checking --- no warnings