Minor documentation formatting, renamed run() to execute