Summary of changes: c091e80... Added a workaround of gnome-shell build failure (*) 3bcb3ac... Fixed typo. (*) (*) This commit already existed in another branch; no separate mail sent