Commit 25fa3ae39c5d043832071aae4f47ea52b4c5f62d

Vicent Martí 2012-12-18T14:18:04

Merge pull request #1157 from rick/trivial-comment-fix Trivial comment fix