sigh. a bug in my editor :(