Small change for compatability with Ubuntu 13.04