Minor change.
Removed unnecessary Agda option.