Fixed evaluation of after bk