atben.c: minor cleanup