"seed" command doesn't work in Minecraft server command line

Running the "seed" command from the command line appears to be broken. All other commands seem to work as expected. Running /seed from the client as an op also works as expected.

2012-10-25 19:05:50 [INFO] --- Showing help page 4 of 5 (/help <page>) ---
2012-10-25 19:05:50 [INFO] /save-on
2012-10-25 19:05:50 [INFO] /say <message ...>
2012-10-25 19:05:50 [INFO] /seed
2012-10-25 19:05:50 [INFO] /spawnpoint OR /spawnpoint <player> OR /spawnpoint <player> <x> <y> <z>
2012-10-25 19:05:50 [INFO] /stop
2012-10-25 19:05:50 [INFO] /tell
2012-10-25 19:05:50 [INFO] /time <set|add> <value>
seed
2012-10-25 19:05:56 [INFO] You must specify which player you wish to perform this action on.
seed alanbriolat
2012-10-25 19:06:00 [INFO] You must specify which player you wish to perform this action on.
op alanbriolat
2012-10-25 19:06:05 [INFO] Opped alanbriolat
seed alanbriolat
2012-10-25 19:06:08 [INFO] You must specify which player you wish to perform this action on.