fix bug in accidentally-committed code