Fix bugs in fauxnibus