#50: trivial fix.