#302: user module updated.