No, i used gentimeout as it was documented higher up in the file.
You are probably right to leave it at gen_timeout and change the doc.
Then we should probably also change synctimeout to sync_timeout below for consistency sake.