Test-drive in real analysis, minor tweaks and fixes