Overriding a pushed "route" in the client's config throws an error

When connecting to server that pushes routes using this:

...
# Pushed routes
push "route 10.1.0.0 255.255.255.0"

and when the client overrides them in its config:

...
# Options
client
route-nopull
route 10.1.0.0 255.255.255.128
route-metric 50
...

This works but the client's log have this:

Options error: option 'route' cannot be used in this context

This issue materializes because "route-nopull" option takes away the permission from the client to install server-pushed routes, effectively telling the option parser "no, this option is not valid here".

The way to configure it correctly is then:

...
# Options
client
route 10.1.0.0 255.255.255.128
route-metric 50
route-nopull
...