Fix siglen type