Summary of changes: e498a2e... updated source (*) 0e70189... fixed typo in spec (*) 1b80a46... updated typo (*) 04ab8df... fixed typo (*) d074b1b... Merge branch 'master' into f16 (*) This commit already existed in another branch; no separate mail sent