Fix problem with a problem I introduced last night

Sorry :-(