Amend of last commit: forgot to check in the updated solution file.