Better to commit such small fixes directly to this branch. Faster for both of us ;-)