fix contract for function taking no args