Fix for Fedora release 20 (Heisenbug)