solved two compiler warnings involving int-signedness