small corrections to compile with gcc 4.8.2 (on Fedora 19)