Minor fixes; One step left to have Checkin fully working; see comment in
execute().