Fix doc sources in Makefile
Use more consistent name for timer
[Fix #94] Show long error messages in a buffer