nice.c: avoid a cast