Fixed harmless error caused by my own forgetfulness