update to reflect the fact that menu bug is no longer present in Ubuntu 14.04