fixed a syntax error I introduced
also made it work on architectures other than i386