Sounds good, I changed this in commit 527a4e5a47d1655a12167fb6ee60f025afccecf6