This notation works on Ubuntu 14.10; the other one doesn't