<div dir="ltr"><div dir="ltr" class="gmail_msg"><div class="gmail_msg"><div class="gmail_msg">Hi list,<br class="gmail_msg"><br class="gmail_msg"></div>Since
 this is a very small fix (literally just one character) and this is my 
first patch here, I didn't bother to read the instructions for 
contributing / submitting patches. Therefore, feel free to use this 
patch according to your own workflow.<br class="gmail_msg"><br class="gmail_msg"></div></div><div dir="ltr" class="gmail_msg">- Thiago<br class="gmail_msg"></div></div>