Fixes #38: Bad method calls in FileProps.