Minor aesthetic improvements to implementation.html